Van der Waals density functional study of formic acid adsorption and decomposition on Cu(111).