How to be happy for others