An improved method to detect β- galactosidase activity in transgenic mice: a post-staining procedure on paraffin embedded tissue sections