Range Verification Methods in Particle Therapy: Underlying Physics and Monte Carlo Modeling | Synapse