Xiaomi Redmi Phones: How to enable the Developer Options? (for USB-Debugging etc.)