Anyone know the model number of this computer? It is unusual to find a 13 inch with numeric keyboard.