RandoMice, a novel, user-friendly randomization tool in animal research · Study