Proton linear accelerators: A theoretical and historical introduction