Jan Gadomski (astronom)