Penrose-Hawking singularity theorems