Difference-pressure sensor