M4Bench: Evaluating Procedural Specification for Clinical EHR Derivation Agents