Nokia 7.1 é um intermediário com notch e Android One