Disney animation executive Lasseter to leave company at year-end