Velocity measurement of cosmic muons using the India-based Neutrino Observatory prototype detector