The square–cube law was first described by an astronomer born in what year?