Plate tectonics on the terrestrial planets