Homotopy Canonicity of Homotopy Type Theory