archimedes cattle problem