Nash Stable Outcomes in Fractional Hedonic Games: Existence, Efficiency and Computation