Serverless Edge Computing by Design