Three HTML5 animation tools: Adobe Edge, Sencha Animator, Tumult Hype