Are pinto beans vegetables?