Virginia Tech mining engineer students win third National Mine Design Competition