Fostering the Use of Declarative Formalisms for Real-World Applications: The EmbASP Framework