An Expert System for the Composition of Formal Spanish Poetry