Ада, язык программирования