Three Oklahoma tribes push for mobile app development, despite expansion delays