Formal bilateral talks between the US and North Korea could happen as early as May