Shock-tube studies of formaldehyde oxidation