Xiaomi’s founder loses a billion-yuan bet