General Growth files for bankruptcy protection