An HTML5 video player for AngularJS