A gender wage gap decomposition for matched employer–employee data