'Hocus Pocus 3' is in development at Disney