Nash stable outcomes in fractional hedonic games: Existence, efficiency and computation