Какова длина бассейна, используемого на чемпионате мира по плаванию на короткой воде?