A pointwise estimate for the kernel of a pseudo-differential operator, with applications