Single-Shot Error Correction of Three-Dimensional Homological Product Codes