Proceedings of the 1st Workshop on Middleware for Edge Clouds & Cloudlets