The full specifications of Xiaomi 13 and 13 Pro have been revealed