The random energy model