A Monte Carlo simulation of the possible use of Positron Emission Tomography in proton radiotherapy