Marawi Cathedral to be demolished