The strike in Philadelphia involving the city's largest municipal workers' union is over. Here's what to know about the tentative agreement.