A review of some a posteriori error estimates for adaptive finite element methods