Substituição de ser por haver nas construções existenciais do português: um estudo diacrônico