Optimal Execution for Uncertain Market Impact: Derivation and Characterization of a Continuous-Time Value Function