Lesch-Nyhan disease: from mechanism to model and back again