Copernicus and astronomy