Verification theorem and construction of epsilon-optimal controls for control of abstract evolution equations