Proton range monitoring with in-beam PET: Monte Carlo activity predictions and comparison with cyclotron data