End of an era, again: Production of all Nokia smartphones officially ceases