Nagy Károly csillagász élete és munkássága