Texas State student takes top prize in IBM’s Master the Mainframe contest