Strong quantum energy inequality and the Hawking singularity theorem