The Servers of Serverless Computing: A Formal Revisitation of Functions as a Service