A High-Definition 3D Streaming Platform and an API for Mobile and Web-based Augmented, Virtual and Mixed Reality Applications