Effective theory for the Vainshtein mechanism from the Horndeski action | Synapse