On the Expressive Power of User-Defined Effects: Effect Handlers, Monadic Reflection, Delimited Control