Fixed point theorems in fuzzy metric spaces