IMEI numbers: What they are and why phones need them