Expansions of ordered fields without definable gaps