Should Muslim holidays become public holidays?