Prayer times feel like simple clock entries — but each one is the answer to a tiny astronomy problem.