Which planet was the first to be discovered via mathematical prediction rather than direct visual observation?