Half of companies will require BYOD by 2017, Gartner says