Should more resources be allocated to space exploration?