After a four-day strike over pay and benefits, and a marathon 12-hour negotiation session, the West Contra Costa teachers' union and the school district reached a tentative agreement at 2:30 a.m. Wednesday. Here's what's in it.