Who published the heliocentric model of the solar system in his work 'De revolutionibus orbium coelestium' in 1543?