Penrose%E2%80%93Hawking singularity theorems