Search for heavy neutral leptons at the NA62 experiment at CERN