The effective field theory of dark energy