The level of manufacturing activity in Nigeria in the month of June 2020, measured by the manufacturing purchasing managers’ index