Microlocal scaling and extension of distributions