copernicus and his islamic predecessors: some