Precise Beam Dynamics Models For Transport Lines In A Cyclotron-Based Proton Therapy Facility