Regular holonomic D[[ℏ]]-modules