Lasing in direct-bandgap GeSn alloy grown on Si