Americans Are Tipping More—And More Often. The IRS Wants Its Cut.