Robert B. Sherman — American songwriter (1925–2012)