Commuting traces of biadditive mappings, commutativity-preserving mappings and Lie mappings