On f-domination: polyhedral and algorithmic results