who was the first overall pick in the 2017 mlb draft