Bhindi Masala (Okra Curry)