EE 4GEE WiFi Mini, a portable mobile broadband hotspot