Limit computability and constructive measure