Can you use red beans instead of kidney beans in chili?