Automated analysis of domestic violence police reports to explore abuse types and victim injuries: text mining study