Sri Lanka gives booster shots to front-line workers, seniors