What will San Francisco’s new “CEO tax” actually accomplish?