Real-time prediction of postoperative spinal shape with machine learning models trained on finite element biomechanical simulations