Operational Theories of Physics as Categories