Categories of relations as models of quantum theory