Numerical Simulation of Hydraulic Fracture Vertical Propagation in Bedded Shale by Phase-Field Method | Synapse