Trading on index options via mobile surges by 4.9 percentage in May to fresh high 31% at the expense of other major modes of trading