Verification of the Socio-Technical Aspects of Voting: The Case of the Polish Postal Vote 2020