Xiaomi Mi 4c goes official with SD808, USB Type-C port