火星属于哪种类型的天体