Synthetic Map Generation to Provide Unlimited Training Data for Historical Map Text Detection