Dynamical Borel-Cantelli lemmas for gibbs measures