Heteroclinic solutions of boundary value problems on the real line involving general nonlinear differential operators