Theoretical model for a periodically driven semiconductor laser subject to optical feedback from a microcantilever