Characterizing Docker Overhead in Mobile Edge Computing Scenarios