Should San Diego's minimum wage be raised over time to $13.09 an hour?