python merge two ordered lists