Complete O(αS) corrections to heavy-flavour structure functions in electroproduction