Were the films Escape to Witch Mountain and The Barefoot Executive both produced by Walt Disney Productions?