copernicus and his islamic predecessors