diving is for competing in the olympics