Completeness of Reidemeister-type moves for surfaces embedded in three-dimensional space