A history of the BMW v12 engine