Text this: Increasing efficiency and quality in the automatic composition of three-move mate problems