What format besides H.264 was playable with HTML5?