Two major airlines announce more service to Florida from OKC