Which planet was discovered by mathematical prediction before it was directly observed?