Cedric Mullins named Brooks Robinson minor league Pitcher of the Year