SATORI: Static Test Oracle Generation for REST APIs