Workers end four-day strike at Freeport Indonesia