Constraints on the lake volume required for hydro‐fracture through ice sheets | Synapse