An ensemble Kalman filtering approach to highway traffic estimation using GPS enabled mobile devices