Does anybody know if there is a publically available allocation table describing IMEI number ranges and Phone types?

TIA for any help