Are pinto beans and black beans the same?