Four tech companies just saved California from a budget crisis