Redmi Watch with built-in GPS launched for Rs 3,999