Colombia’s National University workers reach agreement to end strike