Oikeellisuus (tietojenkäsittelyteoria)