Mung Beans in Tomato Butter Sauce (Mung Makhani)