NBC orders pilot for Top Gear -- will it be in HD?