红豆薏米茶的红豆是哪个红豆（红豆薏米是什么红豆）