Greatly improved higher-order product formulae for quantum simulation