Thousands line streets of Norway's capital as King Harald V is laid to rest during service attended by world leaders.