US economy adds 172K jobs in May