Hillary Clinton is finally, officially, the Democratic nominee for US president