What planet was the first to be discovered by mathematical prediction and not observation?