The Functional Machine Calculus