Computation Is Bound by Physical Laws: A Fact-Based Church-Turing Thesis