Johann Richter (astronomo)