Which company distributed this 1977 American animated film produced by Walt Disney Productions for which Sherman Brothers wrote songs?