Which dwarf planet is located in the main asteroid belt?