Christmas carols have been sung in Mosul's Saint Paul cathedral for the first time since the Iraqi city was overrun by Islamic State militants.
