The interaction of guarantees, surplus distribution, and asset allocation in with-profit life insurance policies