Miara skończenie addytywna