Feynman's proper time approach to QED