It's official: Disney shuts down Epic Mickey studio Junction Point