15 years' hard labour for US student arrested in North Korea