How financial traders use machine-readable news and data