外測度