whitney-mikhlin extension constants