Derivation and explanation in the Minimalist Program