Calculating a 15 percent tip without a calculator