How Are Web APIs Versioned in Practice? A Large-Scale Empirical Study