Best approximations and fixed point theorems for nonexpansive mappings in Hilbert spaces