Gravar-mail: Efficient two-stage designs and proper inference for animal studies