Virginia Tech mining engineering department to lead $1.24M underground mine ventilation study