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