A new approach to the foundations of single variable calculus, based on the introductory course taught at Caltech