I’ve just realized now that there are two different small USB ports, called “Mini USB” and “Micro USB.” Which one is smaller?