Theory and Practice in Heron's Mechanics