A custom HTML5 video player with annotations